On Kan-injectivity of Locales and Spaces

نویسندگان

  • Margarida Carvalho
  • Lurdes Sousa
چکیده

In the category Top0 of T0-spaces and continuous maps, embeddings are just those morphisms with respect to which the Sierpiński space is Kan-injective, and the Kan-injective hull of the Sierpiński space is the category of continuous lattices and maps preserving directed suprema and arbitrary infima. In the category Loc of locales and localic maps, we give an analogous characterization of flat embeddings; more generally, we characterize n-flat embeddings, for each cardinal n, as those morphisms with respect to which a certain finite subcategory is Kaninjective. Moreover, we show that there is a subcategory of spatial locales whose Kan-injective hull is the entire category Loc. As a consequence, we obtain similar characterizations of the n-flat embeddings in the category Top0, and we show that several well-known subcategories of Loc and Top0 are Kan-injective hulls of finite subcategories.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A note on semi-regular locales

Semi-regular locales are extensions of the classical semiregular spaces. We investigate the conditions such that semi-regularization is a functor. We also investigate the conditions such that semi-regularization is a reflection or coreflection.

متن کامل

Kz-monadic Categories and Their Logic

Given an order-enriched category, it is known that all its KZ-monadic subcategories can be described by Kan-injectivity with respect to a collection of morphisms. We prove the analogous result for Kan-injectivity with respect to a collection H of commutative squares. A square is called a Kan-injective consequence of H if by adding it to H Kan-injectivity is not changed. We present a sound logic...

متن کامل

$L$-enriched topological systems---a common framework of $L$-topology and $L$-frames

Employing the notions of the strong $L$-topology introduced by Zhangand the $L$-frame introduced by Yao  and the concept of $L$-enrichedtopological system defined in the present paper, we constructadjunctions among the categories {bf St$L$-Top} of strong$L$-topological spaces, {bf S$L$-Loc} of strict $L$-locales and{bf $L$-EnTopSys} of $L$-enriched topological systems. All of theseconcepts are ...

متن کامل

Kan injectivity in order-enriched categories

Continuous lattices were characterised by Mart́ın Escardó as precisely the objects that are Kan-injective w.r.t. a certain class of morphisms. We study Kan-injectivity in general categories enriched in posets. An example: ω-CPO’s are precisely the posets that are Kan-injective w.r.t. the embeddings ω →֒ ω + 1 and 0 →֒ 1. For every class H of morphisms we study the subcategory of all objects Kan-in...

متن کامل

Weighted Composition Operators Between Extended Lipschitz Algebras on Compact Metric Spaces

‎In this paper, we provide a complete description of weighted composition operators between extended Lipschitz algebras on compact metric spaces. We give necessary and sufficient conditions for the injectivity and the sujectivity of these operators. We also obtain some sufficient conditions and some necessary conditions for a weighted composition operator between these spaces to be compact.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Applied Categorical Structures

دوره 25  شماره 

صفحات  -

تاریخ انتشار 2017